Provides a framework designed to allow developers to code in a more targeted, clear and efficient manner.

Details an experimental, additional level in the virtual memory hierarchy.

Collaborative project developing a hard disk encryption system for Linux. LUKS stores configuration information in the partition header, enabling users to migrate encrypted partitions between devices.

A Markov Logic Interpreter that focuses on efficient MAP inference and Online Learning featuring MAP inference using Cutting Planes combined with Max-Walk-Sat programming, parametrized weights, a shell interpreter, and cardinality constraints. [GPL]

Renames variables, removes comments and white spaces from PHP files. Offered through Google Code with wiki information and known issues. [Open source, GPL]

Offers an object oriented framework that want to improve quality and time of development. [GNU]

A front-end for viewing syslog-ng messages logged to MySQL in real-time. [Open source, GPL]

Audio player based on GTK+ written in Python, lets users make playlists with regular expressions and provides advanced tag editing features.

A semantic agent development framework. Behaviour of agent are programmed in SWRL. Knowledge Base is represented using OWL.

Load images in Portable Network Graphic (PNG) format. [Open Source, LGPL]